(declare-const arr--3045560570942142408_-1212997213155739362-0 (Array (Array Int Int) Bool))
(declare-const arr--3045560570942142408_-1212997213155739362-1 (Array (Array Int Int) Bool))
(assert (distinct arr--3045560570942142408_-1212997213155739362-1 arr--3045560570942142408_-1212997213155739362-0))
(check-sat)
